#include <stdio.h>

int main( void )
{
	printf("%x\n", 1 << 31);
}
